Towards a canonical classical natural deduction system

This paper studies a new classical natural deduction system, presented as a typed calculus named \lml. It is designed to be isomorphic to Curien-Herbelin's calculus, both at the level of proofs and reduction, and the isomorphism is based on the correct correspondence between cut (resp. left-introduction) in sequent calculus, and substitution (resp. elimination) in natural deduction. It is a combination of Parigot's $\lambda\mu$-calculus with the idea of ``coercion calculus'' due to Cervesato-Pfenning, accommodating let-expressions in a surprising way: they expand Parigot's syntactic class of named terms. This calculus aims to be the simultaneous answer to three problems. The first problem is the lack of a canonical natural deduction system for classical logic. \lml is not yet another classical calculus, but rather a canonical reflection in natural deduction of the impeccable treatment of classical logic by sequent calculus. The second problem is the lack of a formalization of the usual semantics of Curien-Herbelin's calculus, that explains co-terms and cuts as, respectively, contexts and hole-filling instructions. The mentioned isomorphism is the required formalization, based on the precise notions of context and hole-expression offered by \lml. The third problem is the lack of a robust process of ``read-back'' into natural deduction syntax of calculi in the sequent calculus format, that affects mainly the recent proof-theoretic efforts of derivation of $\lambda$-calculi for call-by-value. An isomorphic counterpart to the $Q$-subsystem of Curien-Herbelin's-calculus is derived, obtaining a new $\lambda$-calculus for call-by-value, combining control and let-expressions.Fundação para a Ciência e a Tecnologia (FCT

The aged niche disrupts muscle stem cell quiescence

SUMMARY The niche is a conserved regulator of stem cell quiescence and function. During aging, stem cell function declines. To what extent and by which means age-related changes within the niche contribute to this phenomenon are unknown. We demonstrate that the aged muscle stem cell niche, the muscle fiber, expresses FGF2 under homeostatic conditions, driving a subset of satellite cells to break quiescence and lose self-renewing capacity. We show that relatively dormant aged satellite cells robustly express Sprouty1 (spry1), an inhibitor of FGF signalling. Increasing FGF signalling in aged satellite cells under homeostatic conditions by removing spry1, results in the loss of quiescence, satellite cell depletion and diminished regenerative capacity. Conversely, reducing niche-derived FGF activity through inhibition of FGFR1 signalling or overexpression of spry1 in satellite cells prevents their depletion. These experiments identify an age-dependent change in the stem cell niche that directly influences stem cell quiescence and function

Global transpiration data from sap flow measurements: The SAPFLUXNET database

Plant transpiration links physiological responses of vegetation to water supply and demand with hydrological, energy, and carbon budgets at the land-atmosphere interface. However, despite being the main land evaporative flux at the global scale, transpiration and its response to environmental drivers are currently not well constrained by observations. Here we introduce the first global compilation of whole-plant transpiration data from sap flow measurements (SAPFLUXNET, https://sapfluxnet.creaf.cat/, last access: 8 June 2021). We harmonized and quality-controlled individual datasets supplied by contributors worldwide in a semi-automatic data workflow implemented in the R programming language. Datasets include sub-daily time series of sap flow and hydrometeorological drivers for one or more growing seasons, as well as metadata on the stand characteristics, plant attributes, and technical details of the measurements. SAPFLUXNET contains 202 globally distributed datasets with sap flow time series for 2714 plants, mostly trees, of 174 species. SAPFLUXNET has a broad bioclimatic coverage, with woodland/shrubland and temperate forest biomes especially well represented (80% of the datasets). The measurements cover a wide variety of stand structural characteristics and plant sizes. The datasets encompass the period between 1995 and 2018, with 50% of the datasets being at least 3 years long. Accompanying radiation and vapour pressure deficit data are available for most of the datasets, while on-site soil water content is available for 56% of the datasets. Many datasets contain data for species that make up 90% or more of the total stand basal area, allowing the estimation of stand transpiration in diverse ecological settings. SAPFLUXNET adds to existing plant trait datasets, ecosystem flux networks, and remote sensing products to help increase our understanding of plant water use, plant responses to drought, and ecohydrological processes. SAPFLUXNET version 0.1.5 is freely available from the Zenodo repository (10.5281/zenodo.3971689; Poyatos et al., 2020a). The "sapfluxnetr"R package-designed to access, visualize, and process SAPFLUXNET data-is available from CRAN. © 2021 Rafael Poyatos et al.This research was supported by the Minis-terio de Economía y Competitividad (grant no. CGL2014-55883-JIN), the Ministerio de Ciencia e Innovación (grant no. RTI2018-095297-J-I00), the Ministerio de Ciencia e Innovación (grant no. CAS16/00207), the Agència de Gestió d’Ajuts Universitaris i de Recerca (grant no. SGR1001), the Alexander von Humboldt-Stiftung (Humboldt Research Fellowship for Experienced Researchers (RP)), and the Institució Catalana de Recerca i Estudis Avançats (Academia Award (JMV)). Víctor Flo was supported by the doctoral fellowship FPU15/03939 (MECD, Spain)

The Satellite Cell in Male and Female, Developing and Adult Mouse Muscle: Distinct Stem Cells for Growth and Regeneration

Satellite cells are myogenic cells found between the basal lamina and the sarcolemma of the muscle fibre. Satellite cells are the source of new myofibres; as such, satellite cell transplantation holds promise as a treatment for muscular dystrophies. We have investigated age and sex differences between mouse satellite cells in vitro and assessed the importance of these factors as mediators of donor cell engraftment in an in vivo model of satellite cell transplantation. We found that satellite cell numbers are increased in growing compared to adult and in male compared to female adult mice. We saw no difference in the expression of the myogenic regulatory factors between male and female mice, but distinct profiles were observed according to developmental stage. We show that, in contrast to adult mice, the majority of satellite cells from two week old mice are proliferating to facilitate myofibre growth; however a small proportion of these cells are quiescent and not contributing to this growth programme. Despite observed changes in satellite cell populations, there is no difference in engraftment efficiency either between satellite cells derived from adult or pre-weaned donor mice, male or female donor cells, or between male and female host muscle environments. We suggest there exist two distinct satellite cell populations: one for muscle growth and maintenance and one for muscle regeneration

Plasticity of the Muscle Stem Cell Microenvironment

Satellite cells (SCs) are adult muscle stem cells capable of repairing damaged and creating new muscle tissue throughout life. Their functionality is tightly controlled by a microenvironment composed of a wide variety of factors, such as numerous secreted molecules and different cell types, including blood vessels, oxygen, hormones, motor neurons, immune cells, cytokines, fibroblasts, growth factors, myofibers, myofiber metabolism, the extracellular matrix and tissue stiffness. This complex niche controls SC biology-quiescence, activation, proliferation, differentiation or renewal and return to quiescence. In this review, we attempt to give a brief overview of the most important players in the niche and their mutual interaction with SCs. We address the importance of the niche to SC behavior under physiological and pathological conditions, and finally survey the significance of an artificial niche both for basic and translational research purposes